翻訳と辞書
Words near each other
・ cims pl/i
・ cinderella book
・ cint92
・ cio
・ cip language
・ cip-l
・ ciphertext
・ cir
・ circal
・ circuit
circuit calculus
・ circuit switch
・ circuit switched
・ circuit switching
・ circular buffer
・ cirrus logic
・ cis
・ cisc
・ cisco systems, inc.
・ cisi


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

circuit calculus : FOLDOC
CIRcuit CALculus
(CIRCAL) A {process algebra} used to model and verify the design correctness of concurrent systems such as digital logic.
["CIRCAL and the Representation of Communication, Concurrency and Time", G.J. Milne , ACM TOPLAS 7(2):270-298, 1985].
(2001-03-25)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.